Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency
نویسنده
چکیده
In this paper the most diicult step of a method is presented by which requirements in the duration calculus (DC) can be transformed into occam programs such that the implementation is correct by construction. Several rules for correct transformations from DC towards an important intermediate stage, the speciication language SL time , will be shown. In particular we shall explain the interplay between requirements and a control program, the introduction of parallelism and the change from the state based DC-description to the event based SL time description.
منابع مشابه
The JavaTime Approach to Mixed Hardware-Software System Design
"What has been is what will be, and what has been done is what will be done, and there is nothing new under the sun." Abstract We describe an approach for using Java as a basis for a design and specification language for embedded systems and use our JavaTime system to illustrate many of the aspects of the approach. Java is a pragmatic choice for several reasons. Since it is a member of the C " ...
متن کاملA Timed Specification Language for Concurrent Reactive Systems
In this paper we present a simple real-time speciication language SL time , for which we deene a semantics based on timing diagrams. An example of a speciication will illustrate the meaning of the single parts of SL time. The aim of our approach is to develop and prove correct programs in an occam dialect PL time which contains timing operators and concurrency with synchronous communication. Th...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملOptimal Adjustment of Three-Term Controller and Two-Term Compensator Performances in Hydro Power Systems for Load Frequency Control
An important issue with respect to the hydraulic power systems is the frequency stabilization. To design Load Frequency Control (LFC) with high efficiency, control parameters need to be adjusted so that the system frequency remains stable even under changeable conditions. Controlling the frequency and changes in the turbine time constant requires that three term control parameters of Proportion...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994